Qualification of Formal Safety Assessment: An Exploratory Study
نویسندگان
چکیده
____________________________________________________________________ Formal Safety Assessment (FSA) is an approach adopted by the International Maritime Organisation (IMO) to support a systemic and structured assessment of proposals for new international regulations to improve shipping safety. Several case studies based on the approach have been conducted during the past few years. This paper addresses the issue of confidence in a FSA, as encountered during three case studies conducted by the authors over the years 1998 to 2002. A peer review process FSA qualification is introduced to support the consolidation of confidence in FSA results. Some qualification criteria are suggested. ____________________________________________________________________
منابع مشابه
Is Training Contractors in Safety Issues Effective in Minimizing Occupational Accident Rates? A Retrospective Cohort Study
Background: Safety of contractors is one of the key safety challenges at construction. Safety training, as an essential prerequisite for achieving safety qualification certificates by contractors, could decrease accident rates in the construction. This study aims to evaluate the effectiveness of training construction contractors in safety issues in minimizing occupational accidents in a five-ye...
متن کاملQualification of a Model Checker for Avionics Software Verification
Formal methods tools have been shown to be effective at finding defects in safety-critical systems, including avionics systems in commercial aircraft. The publication of DO-178C and the accompanying formal methods supplement DO-333 provide guidance for aircraft manufacturers and equipment suppliers who wish to obtain certification credit for the use of formal methods for software development an...
متن کاملAdditional requirements for process assessment in safety-critical software and systems domain
Certification of safety-critical software is a multi-disciplinary topic. Process assessment is an essential part of that, but is not enough for software certification. Certification employs also several other method families, like inspections and reviews, independent V&V, conformance with selected reference standard(s) and use of selected measurements and analyses. Process assessment supports d...
متن کاملEvaluating the effectiveness of contractor safety training in reducing work-related accidents
Background: Safety training as the most important step in obtaining safety qualifications for construction contractors can help reduce the accidents rate. This study has been conducted with the aim of evaluating the effectiveness of safety training for construction contractors in reducing work-related accidents during a 5-year period (2014-2018). Method: This historical cohort study was conduc...
متن کاملValidation of the Early Feeding Skills Assessment Scale for the Evaluation of Oral Feeding in Premature Infants
Background: Feeding difficulties are common and important in premature infants. In order to identify neonatal feeding difficulties, clinicians and nurses require assessment tools to conduct an objective evaluation of infant oral feeding (breast/bottle-feeding). Early identification of infants with feeding difficulty is critical to implement appropriate therapies and op...
متن کامل